Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

By now, Scheme is a well-established programming language and is finding increasing popularity in programming courses for undergraduates. Its expressive capabilities are matched by a simplicity of language and ease-of-use which have made its adherents disciples! This textbook provides a comprehensive first course in Scheme and covers all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. Although the primary goal of this text is to teach students to program in Scheme, it will be suitable for any student studying a general programming principles course. Each chapter is divided into three sections: core, appendix , and problems. Most essential topics are covered in the core section, but it is assumed that most students will read the appendices and solve most of the problems. (Nearly all of the problems require students to write short Scheme procedures.) As well as providing a thorough grounding in Scheme, the author discusses in depth different programming paradigms. An important theme throughout is that of "meta-programming": the perspective that programs themselves can be treated as data, and hence can be analyzed and modified as objects. This provides insight into topics such as type-checking and overloading which might otherwise be missed.

681.3*D11 --- Applicative (functional) programming --- 681.3*D11 Applicative (functional) programming --- Scheme (Computer program language) --- Programming languages (Electronic computers) --- Programming languages (Electronic computers). --- Programming Languages, Compilers, Interpreters. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Scheme (computer program language)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Introduction One of the most often-repeated questions of recent years is 'Are you on the Web?' The growth ofthe World Wide Web (WWW or simply 'Web') has been phenomenal. It seems that everyone has a web site, or is at least planning have one, and everyone wants to get on-line with their products and services, accounts of their favourite hobbies, their resumes, or pictures of their loved ones. So that you too can join in the on-line revolution, this book will help you get onto the web: to make informed decisions about developing your own web site, how to plan and design the site, and then how to get the site on-line for the world to see. Essential HTML Fast 2 Why use the Web? There are many reasons why you would want to use the Web, and why the web is becoming an essential tool for business. Some of these are: • It is cross-platform: If you're reading this at work, you're probably painfully aware of some of the problems caused by being tied to a particular type of computer. You might have come across some software that would make your job easier, but then discover that the software is only available for a different computer running a different operating system. You may have been sent some documents by a client which you subsequently discover you can't read, as the disk seems to be of the wrong type.

HTML (Document markup language). --- HTML (Document markup language) --- Engineering & Applied Sciences --- Computer Science --- HTML (Langage de balisage) --- Computer programming. --- Application software. --- Programming languages (Electronic computers). --- Programming Techniques. --- Information Systems Applications (incl. Internet). --- Programming Languages, Compilers, Interpreters. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998. Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.

Software engineering --- Congresses --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software engineering - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997. The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection.

Functional programming languages --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998. The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.

Ada (Computer program language) --- Computer software --- Congresses --- Reliability --- Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Special Purpose and Application-Based Systems. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Informatics --- Science --- ADA (Computer program language) --- Ada (Computer program language) - Congresses --- Computer software - Reliability - Congresses --- Distribution (économie politique) --- real-time --- dependability --- Quality --- Integrity --- Proceedings --- Lncs